$\forall$$R$:Realizer. R{-}size($R$) $\in$ $\mathbb{N}^{+}$